home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / napoleon2.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  2.1 KB  |  64 lines
  1. .geometry "version 0.1";
  2. v1 = .free(0.144022, -0.307065, "1");
  3. v2 = .free(0.788043, -0.048913, "2");
  4. v3 = .free(0.074369, 0.38911, "3");
  5. l1 = .l.vv(v1, v2);
  6. l2 = .l.vv(v2, v3);
  7. l3 = .l.vv(v3, v1);
  8. c1 = .c.vv(v1, v3, .invisible);
  9. c2 = .c.vv(v3, v1, .invisible);
  10. c3 = .c.vv(v1, v2, .invisible);
  11. c4 = .c.vv(v2, v1, .invisible);
  12. c5 = .c.vv(v3, v2, .invisible);
  13. c6 = .c.vv(v2, v3, .invisible);
  14. v5 = .v.cc(c6, c5, 2);
  15. v7 = .v.cc(c2, c1, 2);
  16. v9 = .v.cc(c3, c4, 2);
  17. l4 = .l.vv(v1, v9, .yellow);
  18. l5 = .l.vv(v9, v2, .yellow);
  19. l6 = .l.vv(v2, v5, .yellow);
  20. l7 = .l.vv(v5, v3, .yellow);
  21. l8 = .l.vv(v3, v7, .yellow);
  22. l9 = .l.vv(v7, v1, .yellow);
  23. l10 = .l.vlperp(v9, l1, .invisible);
  24. l11 = .l.vlperp(v1, l5, .invisible);
  25. v10 = .v.ll(l10, l11, .yellow);
  26. l12 = .l.vlperp(v7, l3, .invisible);
  27. l13 = .l.vlperp(v3, l9, .invisible);
  28. v11 = .v.ll(l12, l13, .yellow);
  29. l14 = .l.vlperp(v5, l2, .invisible);
  30. l15 = .l.vlperp(v3, l6, .invisible);
  31. l16 = .l.vlperp(v5, l2, .invisible);
  32. v15 = .v.ll(l16, l15, .yellow);
  33. l17 = .l.vv(v11, v10, .green);
  34. l18 = .l.vv(v10, v15, .green);
  35. l19 = .l.vv(v15, v11, .green);
  36. v4 = .v.cc(c2, c1, 1, .red);
  37. v6 = .v.cc(c3, c4, 1, .red);
  38. v8 = .v.cc(c6, c5, 1, .red);
  39. l20 = .l.vv(v1, v4, .red);
  40. l21 = .l.vv(v4, v3, .red);
  41. l22 = .l.vv(v6, v1, .red);
  42. l23 = .l.vv(v6, v2, .red);
  43. l24 = .l.vv(v8, v2, .red);
  44. l25 = .l.vv(v8, v3, .red);
  45. l26 = .l.vv(v10, v10, .red);
  46. l27 = .l.vlperp(v6, l1, .invisible, .longline);
  47. l28 = .l.vlperp(v1, l23, .invisible, .longline);
  48. v12 = .v.ll(l28, l27, .red);
  49. l29 = .l.vlperp(v3, l24, .invisible, .longline);
  50. l30 = .l.vlperp(v2, l25, .invisible, .longline);
  51. v13 = .v.ll(l29, l30, .red);
  52. l31 = .l.vlperp(v4, l3, .invisible, .longline);
  53. l32 = .l.vlperp(v1, l21, .invisible, .longline);
  54. v14 = .v.ll(l32, l31, .red);
  55. l33 = .l.vv(v14, v12, .magenta);
  56. l34 = .l.vv(v12, v13, .magenta);
  57. l35 = .l.vv(v13, v14, .magenta);
  58. .text("Napoleon's Theorem:");
  59. .text("");
  60. .text("(See napoleon.t).  This figure illustrates that the equilateral");
  61. .text("triangles constructed on the sides can be inward or outward.  The");
  62. .text("magenta and green triangles formed from the centers are both");
  63. .text("equilateral.");
  64.